翻訳と辞書
Words near each other
・ Jan Łasicki
・ Jan Wijn
・ Jan Wijnants
・ Jan Wijnants (cyclist)
・ Jan Wiktor Wiśniewski
・ Jan Wildens
・ Jan Wiley
・ Jan Wilhelm Schüssler
・ Jan Wilkens
・ Jan Willem
・ Jan Willem Aten
・ Jan Willem de Jong
・ Jan Willem de Pous
・ Jan Willem de Winter
・ Jan Willem Janssens
Jan Willem Klop
・ Jan Willem Nienhuys
・ Jan Willem Pieneman
・ Jan Willem Spruyt
・ Jan Willem Storm van Leeuwen
・ Jan Willem te Kolsté
・ Jan Willem Tellegen
・ Jan Willem van Borselen
・ Jan Willem van den Hondel
・ Jan Willem van Ede
・ Jan Willem van Erven Dorens
・ Jan Willems
・ Jan Willemsz Lapp
・ Jan Willemsz. van der Wilde
・ Jan Williams


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Jan Willem Klop : ウィキペディア英語版
Jan Willem Klop

Jan Willem Klop is a professor of applied logic at Vrije Universiteit in Amsterdam. He holds a Ph.D. in mathematical logic from Utrecht University. Klop is known for his work on the Algebra of Communicating Processes, co-author of ''TeReSe'' and his fixed point combinator〔 Here: nr.1.3, p.198〕
: Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L)
where
: L = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))
==Selected publications==

*
* — preceding technical report (FVI 86-03 )
* — preceding technical report (IEICE COMP 88-90 )
*
*
*
*
*

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Jan Willem Klop」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.